Type inference

Results: 490



#Item
361Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: ctan.ijs.si

Language: English - Date: 2004-08-22 15:59:00
362Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: ctan.uib.no

Language: English - Date: 2004-08-22 15:59:00
363Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: mirror.klaus-uwe.me

Language: English - Date: 2004-08-22 15:59:00
364Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: ctan.uni-altai.ru

Language: English - Date: 2004-08-22 15:59:00
365Bootstrapping / Data analysis / Resampling / R / SAS / Statistics / Information / Statistical inference

Package ‘metrumrg’ July 2, 2014 Type Package Title Pharmacometric tools for data preparation, modeling, simulation,and reporting Version 5.55 Date[removed]

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-02 12:25:45
366Sampling / Statistical inference / Statistical tests / Sample size determination / Statistical hypothesis testing / Stratified sampling / Capital asset pricing model / Variance / Null / Statistics / Sampling techniques / Market research

Package ‘capm’ July 2, 2014 Type Package Title Companion Animal Population Management Depends R (>= [removed]Imports deSolve, FME, survey, ggplot2, reshape2, shiny, grid, rgdal,maptools, sp

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-02 11:24:55
367Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: ftp.heanet.ie

Language: English - Date: 2004-08-22 15:59:00
368Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: mirrors.hustunique.com

Language: English - Date: 2004-08-22 15:59:00
369Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: ctan.sharelatex.com

Language: English - Date: 2004-08-22 15:59:00
370Bootstrapping / Estimation theory / Sampling / Statistical hypothesis testing / Normal distribution / Parameter / Confidence interval / Null / Statistics / Statistical inference / Estimator

Package ‘RDS’ July 2, 2014 Type Package Title Respondent-Driven Sampling Version 0.6 Date[removed]

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-02 10:16:45
UPDATE